Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 326 | 326 | 230 | 532 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.71 | 1.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.611 | 9.678 | 8.067 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 442 | 442 | 7138 | 4161 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 16.15 | 9.41 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.766 | 26.039 | 32.018 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 145 | 182 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.70 | 0.88 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.131 | 3.778 | 17.243 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 216 | 216 | 251 | 281 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.16 | 1.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.285 | 21.285 | 7.082 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 376 | 376 | 1138 | 2883 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.03 | 7.67 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.491 | 13.360 | 14.500 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 495 | 495 | 1589 | 7173 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.21 | 14.49 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.889 | 14.926 | 17.337 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 389 | 389 | 40517 | 510 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 104.16 | 1.31 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.569 | 36.774 | 11.872 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 198 | 198 | 336 | 322 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.70 | 1.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.131 | 5.315 | 10.626 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 598 | 598 | 1708 | 2444 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.86 | 4.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.112 | 14.547 | 14.380 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 899 | 899 | 1990 | 18680 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.21 | 20.78 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.676 | 7.333 | 17.709 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 744 | 744 | 1750 | 3569 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.35 | 4.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.347 | 19.215 | 13.973 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 919 | 919 | 1960 | 15314 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.13 | 16.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.149 | 7.166 | 16.550 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1122 | 1122 | 2385 | 54551 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.13 | 48.62 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.664 | 7.984 | 21.529 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 891 | 891 | 2026 | 18991 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.27 | 21.31 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.232 | 7.027 | 16.321 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1150 | 1150 | 2344 | 39100 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.04 | 34.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.363 | 8.150 | 20.623 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | No | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1428 | 1428 | 2979 | 88656 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.09 | 62.08 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 6.175 | 9.058 | 23.698 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | F | C | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | N/A | No | Yes | TBD | TBD | TBD | TBD | TBD |
size | 652 | 0 | 50041 | 457 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.00 | 76.75 | 0.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.000 | 37.554 | 17.069 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 198 | 198 | 325 | 322 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.64 | 1.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.123 | 5.201 | 11.562 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | F(-1) | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 398 | 398 | 249 | 263 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.63 | 0.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.497 | 3.141 | 13.405 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 622 | 763 | 1761 | 2867 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.23 | 2.83 | 4.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.760 | 19.317 | 17.183 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 27 | 27 | 31 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.93 | 0.93 | 1.07 |
time (sec) |
N/A | 0.215 | 14.574 | 0.667 | 0.731 | 0.000 | 1.101 | 0.912 | 99.948 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 27 | 27 | 31 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.93 | 0.93 | 1.07 |
time (sec) |
N/A | 0.100 | 87.531 | 0.527 | 1.028 | 0.000 | 10.451 | 1.231 | 105.691 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | F(-1) | N/A | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 0 | 27 | 0 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.00 | 0.93 | 0.00 |
time (sec) |
N/A | 0.098 | 84.795 | 0.602 | 1.422 | 0.000 | 0.000 | 1.428 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 27 | 27 | 31 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.93 | 0.93 | 1.07 |
time (sec) |
N/A | 0.243 | 14.913 | 0.646 | 0.777 | 0.000 | 3.792 | 1.683 | 107.171 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 27 | 27 | 31 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.93 | 0.93 | 1.07 |
time (sec) |
N/A | 0.105 | 89.115 | 0.536 | 1.062 | 0.000 | 61.552 | 2.937 | 107.375 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | F(-1) | N/A | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 0 | 27 | 0 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.00 | 0.93 | 0.00 |
time (sec) |
N/A | 0.101 | 87.715 | 0.593 | 1.396 | 0.000 | 0.000 | 5.147 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 27 | 27 | 31 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.93 | 0.93 | 1.07 |
time (sec) |
N/A | 0.245 | 75.841 | 0.597 | 0.755 | 0.000 | 147.970 | 2.906 | 110.554 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | F(-1) | N/A | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 0 | 27 | 0 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.00 | 0.93 | 0.00 |
time (sec) |
N/A | 0.110 | 98.957 | 0.546 | 1.148 | 0.000 | 0.000 | 3.674 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | F(-1) | F(-1) | N/A | F(-1) |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 29 | 29 | 31 | 25 | 27 | 0 | 0 | 27 | 0 |
N.S. |
1 | 1.00 | 1.07 | 0.86 | 0.93 | 0.00 | 0.00 | 0.93 | 0.00 |
time (sec) |
N/A | 0.103 | 130.902 | 0.634 | 2.376 | 0.000 | 0.000 | 4.900 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
size | 106 | 106 | 2425 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 22.88 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.210 | 13.876 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 275 | 275 | 191 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.493 | 1.789 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 205 | 205 | 152 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.300 | 0.753 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 156 | 156 | 124 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.184 | 0.135 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 159 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.76 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.332 | 0.632 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 248 | 248 | 215 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.87 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.544 | 1.516 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 27 | 27 | 29 | 27 | 29 | 29 | 26 | 29 | 33 |
N.S. |
1 | 1.00 | 1.07 | 1.00 | 1.07 | 1.07 | 0.96 | 1.07 | 1.22 |
time (sec) |
N/A | 0.141 | 6.636 | 1.290 | 4.191 | 0.313 | 5.086 | 0.878 | 15.968 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 296 | 296 | 278 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.94 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.587 | 0.816 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 211 | 211 | 200 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.95 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.395 | 0.427 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 156 | 156 | 125 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.227 | 0.184 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
size | 206 | 206 | 5411 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 26.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.627 | 32.619 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
size | 322 | 322 | 14108 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 43.81 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.628 | 46.813 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |